| 翻訳と辞書 |
| Burton Spencer Dreben ： ウィキペディア英語版 |
Burton Dreben
Burton Spencer Dreben (September 27, 1927 – July 11, 1999) was an American philosopher specializing in mathematical logic. A Harvard graduate who taught at his alma mater for most of his career, he published little but was highly influential as a teacher and as a critic of the work of his colleagues (Floyd & Shieh 2001).
==The logician==
Dreben was a rare combination of expert logician, and careful historian of ideas and interpreter of historical texts. In the 1950s, he found a copy of Jacques Herbrand's Ph.D. thesis, submitted to the University of Paris in 1929 and thought lost. (Herbrand died in 1931 before either marrying or starting his career.) Dreben found a number of significant errors in the thesis, as well as evidence of haste and carelessness in its preparation. In particular, in Herbrand's proof a crucial lemma was fatally flawed, but Dreben found another way of proving the essential conclusions of the thesis. Dreben's introduction to the translation of Herbrand's thesis in includes a concise description of his work on Herbrand's writings.
In the 1970s, Dreben and Warren Goldfarb wrote a book on the decision problem.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Burton Dreben」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|